[IA64] Fill more registers for vcpu_getcontext
authorAlex Williamson <alex.williamson@hp.com>
Mon, 17 Sep 2007 17:30:51 +0000 (11:30 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Mon, 17 Sep 2007 17:30:51 +0000 (11:30 -0600)
commit7685cc708e8e4986249c1c98aff2740de11dba48
tree8f0a03fcb1836e92f9ae4c15d50b57aa1a6301f7
parentfe65c11d1633b1f402a7e2a499fd734bbb261d97
[IA64] Fill more registers for vcpu_getcontext

Signed-off-by: Tristan Gingold <tgingold@free.fr>
xen/arch/ia64/xen/domain.c